The Lancet–O’Neill Institute/Georgetown University Commission on Global Health and Law published its report on the Legal Determinants of Health in 2019. The term ‘legal determinants of health’ draws attention to the power of law to influence upstream social and economic influences on population health. In this article, we introduce the Commission, including its background and rationale, set out its methodology, summarize its key findings and recommendations and reflect on its impact since publication. We also look to the future, making suggestions (...) as to how the global health community can make the best use of the Commission’s momentum in relation to using law and legal tools to advance population health. (shrink)

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact (...) of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics. (shrink)

Both physicists and philosophers claim that quantum mechanics reduces to classical mechanics as 0, that classical mechanics is a limiting case of quantum mechanics. If so, several formal and non-formal conditions must be satisfied. These conditions are satisfied in a reduction using the Wigner transformation to map quantum mechanics onto the classical phase plane. This reduction does not, however, assist in providing an adequate metaphysical interpretation of quantum theory.

Since the mid‐1950s, the various research programs within cognitive science have advanced our basic understanding of human mental function. Over the past 20 years, this basic science of mind has also contributed to the genesis of an applied science of learning and teaching that can powerfully inform educational practice and dramatically improve educational outcomes. Classroom practice based on this applied science differs from traditional instruction in several ways. Instruction based on cognitive theory envisions learning as an active, strategic process. It (...) assumes that learning follows developmental trajectories within subject‐matter domains. It recognizes that learning is guided by the learners' introspective awareness and control of their mental processes. It emphasizes that learning is facilitated by social, collaborative settings that value self‐directed student dialogue. (shrink)

CHAPTER 1 Combinatorial Geometries and Infinitary Logics In this chapter we introduce two of the key concepts that are used throughout the text. ...

Studies in the neurobiological underpinnings of social information processing bypsychologists, neurobiologists, psychiatrists, radiologists, and neurologists, using methods thatrange from brain imaging techniques to comparative analyses.

I describe a problem about the relations among symmetries, laws and measurable quantities. I explain why several ways of trying to solve it will not work, and I sketch a solution that might work. I discuss this problem in the context of Newtonian theories, but it also arises for many other physical theories. The problem is that there are two ways of defining the space-time symmetries of a physical theory: as its dynamical symmetries or as its empirical symmetries. The two (...) definitions are not equivalent, yet they pick out the same extension. This coincidence cries out for explanation, and it is not clear what the explanation could be. The Puzzle: Symmetries, Measurability and Invariance 1.1 The symmetries and the measurable quantities of Newtonian mechanics 1.2 The puzzle Two Easy Answers Another Unsuccessful Solution: Appeal to Geometrical Symmetries Locating the Puzzle The Relation between Laws and Measurability A Possible Solution CiteULike Connotea Del.icio.us What's this? (shrink)

The law-governed world-picture -- A remarkable idea about the way the universe is cosmos and compulsion -- The laws as the cosmic order : the best-system approach -- The three ways : no-laws, non-governing-laws, governing-laws -- Work that laws do in science -- An important difference between the laws of nature and the cosmic order -- The picture in four theses -- The strategy of this book -- The meta-theoretic conception of laws -- The measurability approach to laws -- What (...) comes where -- In defense of some received views -- Some assumptions that will be in play -- The laws are propositions -- The laws are true -- The logically contingent consequences of the laws are laws themselves -- At least some laws are metaphysically contingent -- The meta-theoretic conception of laws -- Laws of nature, laws of science, laws of theories -- The first-order conception versus the meta-theoretic conception -- What is a law of nature? -- Some examples of meta-theoretic accounts -- The virtues of the meta-theoretic conception -- Weighing the virtues and shortcomings of the meta-theoretic conception -- An epistemological argument for the meta-theoretic conception of laws -- The discoverability thesis, the governing thesis, and the first-order conception -- The main argument -- The objection from bad company -- The objection from inference to the best explanation -- The objection from bayesianism -- The objection from contextualist epistemology -- The objection from the threat of inductive skepticism -- Laws, governing, and counterfactuals -- Where we are now -- What would things have to be like in order for the laws of nature to govern the universe? -- Lawhood, inevitability, counterfactuals -- What is it for a proposition to be inevitably true? -- What is it for a whole class of propositions to be inevitably true? -- What is it for lawhood to confer inevitability? -- NP and supporting counterfactuals -- The worry about context-variability -- A solution and a look ahead -- When would the laws have been different? -- Where we are now -- The God cases -- Other counterexamples to NP -- A moral-theoretic counterexample to NP -- Scientific contexts and non-scientific contexts -- Scientific God cases? -- Lewisian non-backtracking counterexamples -- Where things stand now -- How could science show that the laws govern? -- Why the law-governed world-picture must include the science-says-so thesis -- What is extra-scientific? -- How can the science-says-so thesis be true? -- NP as a consequence of the presuppositions in any scientific context -- Np as true in all possible scientific contexts -- But how could it be so? -- Attack of the actual-factualists -- Measurement and counterfactuals -- Where we are now -- Measurements, reliability, counterfactuals -- A general principle that captures the relation between measurement and counterfactuals -- What we can learn about lawhood from what we have learned about the counterfactual commitments of science -- A first-order account of laws or a meta-theoretic account of laws? -- What methods are presupposed to be legitimate measurement procedures? -- Why we must adopt a meta-theoretic account of laws -- What lawhood is -- Where we are now -- The measurability account of laws -- Brief review of the case for the mal -- A note about hedged laws -- How plausible is the mal? -- What if we don't care about the law-governed world-picture? -- Newton's God and Laplace's demon -- Beyond humean and non-humean -- Two views of laws -- Humean supervenience and the meta-theoretic conception -- Alleged counterexamples to humean supervenience -- Governing and non-trivial necessity -- How the mal lets us have it all -- Humeanism? non-humeanism? -- What is the significance of the idea of the law-governed universe? -- Where in the world are the laws of nature? -- Appendix: The mal in action : a few examples -- Of scientific theories and their laws -- Newton's theory as a paradigm example -- Classical special-force laws -- Geometrical optics and one of its laws -- Local deterministic field theories. (shrink)

I propose understanding CP-law statements as statements that assert the existence of vague statistical laws, not by fully specifying the contents of those laws, but by picking them out via a description that is both self-referential and self-locating. I argue that this proposal validates many common assumptions about CP-laws and correctly classifies many examples of putative CP-laws. It does this while avoiding the most serious worries that motivate some philosophers to be skeptical of CP-laws, namely the worry that they lack (...) non-trivial truth conditions and that it is impossible for empirical evidence to disconfirm them. (shrink)

I argue that the most promising approach to understanding J.J. Gibson's "affordances" takes affordances themselves as ontological primitives, instead of treating them as dispositional properties of more primitive things, events, surfaces, or substances. These latter are best treated as coalescences of affordances present in the environment (or "coalescences of use-potential," as in Sanders (1994) and Hilditch (1995)). On this view, even the ecological approach's stress on the complementary organism/environment pair is seen as expressing a particular affordance relation between the world (...) and the analyst. That the world is parsed in any way among events and objects, perceivers and worlds, etc., reflects equally features of certain real or possible perspectives on the world and features of the world itself. In section 1, I begin by contending that, contrary to the apparent expectations of some in the field, the bare existence of affordances is surely quite uncontroversial. In section 2, I argue that the most reasonable approach to foundational ontology is a relativistic one. In section 3, I address the claim that affordances must be ontologically complemented by effectivities for the sake of completeness, and I shall argue against that claim on grounds that I take to reflect some of Gibson's most important insights. This work will help to clarify the way affordances are to be used in the fourth and final section, where I argue that ontological work, even within special sciences, should not be merely "regional," and that the most attractive general approach to ontological questions is one that is based on affordances, rather than upon things, events, surfaces, and the like. (shrink)

Hrushovski originated the study of “flat” stable structures in constructing a new strongly minimal set and a stable 0-categorical pseudoplane. We exhibit a set of axioms which for collections of finite structure with dimension function δ give rise to stable generic models. In addition to the Hrushovski examples, this formalization includes Baldwin's almost strongly minimal non-Desarguesian projective plane and several others. We develop the new case where finite sets may have infinite closures with respect to the dimension function δ. In (...) particular, the generic structure need not be ω-saturated and so the argument for stability is significantly more complicated. We further show that these structures are “flat” and do not interpret a group. (shrink)

John Taurek has argued that, where choices must be made between alternatives that affect different numbers of people, the numbers are not, by themselves, morally relevant. This is because we "must" take "losses-to" the persons into account (and these don't sum), but "must not" consider "losses-of" persons (because we must not treat persons like objects). I argue that the numbers are always ethically relevant, and that they may sometimes be the decisive consideration.

We emphasize the role of the choice of vocabulary in formalization of a mathematical area and remark that this is a particular preoccupation of logicians. We use this framework to discuss Kennedy’s notion of ‘formalism freeness’ in the context of various schools in model theory. Then we clarify some of the mathematical issues in recent discussions of purity in the proof of the Desargues proposition. We note that the conclusion of ‘spatial content’ from the Desargues proposition involves arguments which are (...) algebraic and even metamathematical. Hilbert showed that the Desargues proposition implies the coordinatizing ring is associative, which in turn implies the existence of a three-dimensional geometry in which the given plane can be embedded. With W. Howard we give a new proof, removing Hilbert’s ‘detour’ through algebra, of the ‘geometric’ embedding theorem. Finally, our investigation of purity leads to the conclusion that even the introduction of explicit definitions in a proof can violate purity. We argue that although both involve explicit definition, our proof of the embedding theorem is pure while Hilbert’s is not. Thus the determination of whether an argument is pure turns on the content of the particular proof. Moreover, formalizing the situation does not provide a tool for characterizing purity. (shrink)

There is a great deal that might be said about justice in property claims. The strategy that I shall employ focuses attention upon the initial acquisition of property -- the most sensitive and most interesting area of property theory. Every theory that discusses property claims favorably assumes that there is some justification for transforming previously unowned resources into property. It is often this assumption which has seemed, to one extent or another, to be vulnerable to attack by critics of particular (...) justifications of property. Nevertheless, this assumption is frequently left undefended by property theorists, and where it is defended, the defense is often remarkably weak. That some initial claim to property be defensible is required by any theory which holds that certain present distributions may be justified, that certain transfers of property are justified, or that restitution ought to be made for previous injustice in transfer or acquisition. The initial acquisition of property, and its justification, is crucial to the remainder of property theory. (shrink)

While there are numerous differences between the approaches taken by Maurice Merleau-Ponty and James J. Gibson, the basic motivation of the two thinkers, as well as the internal logic of their respective views, is extraordinarily close. Both were guided throughout their lives by an attempt to overcome the dualism of subject and object, and both devoted considerable attention to their "Gestaltist" predecessors. There can be no doubt but that it is largely because of this common cause that the subsequent development (...) of their ideas is so similar. It is not my objective in what follows merely to demonstrate a similarity between two lines of thought. Instead, I will try to show that each approach gains considerably from attention to the other. There are numerous ways to begin such a project, each about as arbitrary as the next. For present purposes, I shall take as of central importance the question of the character of the perceived world, both in relation to the traditionally opposed mental and material "substances", and in relation to its identification and individuation of things vis a vis one another and vis a vis ourselves. This will implicate especially Gibson's "affordances" and Merleau-Ponty's thesis concerning the "materiality of meaning.". (shrink)

We use κ-free but not Whitehead Abelian groups to constructElementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-types. We introduce the notion that an AEC admits intersections. We conclude that for AEC which admit intersections, the amalgamation property can have no positive effect on locality: there is a transformation of AEC's which preserves non-locality but takes any AEC which admits intersections to one with amalgamation. More specifically we have: Theorem 5.3. There is (...) an AEC with amalgamation which is not (N₀, N₁)-tame but is 2(N0, ∞)-tame; Theorem 3.3. It is consistent with ZFC that there is an AEC with amalgamation which is not (≤ N₂, ≤ N₂)-compact. (shrink)

This article examines cognitive process models of human sentence comprehension based on the idea of informed search. These models are rational in the sense that they strive to find a good syntactic analysis quickly. Informed search derives a new account of garden pathing that handles traditional counterexamples. It supports a symbolic explanation for local coherence as well as an algorithmic account of entropy reduction. The models are expressed in a broad framework for theories of human sentence comprehension.

Previous discussions of addiction have often focused on the question of whether addiction is a disease. This discussion distinguishes that question – the disease question – from the question of whether addiction is a disability. I argue that, however one answers the disease question, and indeed on almost any credible account of addiction, addiction is a disability. I then consider the implications of this view, or why it matters that addiction is a disability. The disease model of addiction has led (...) many to see addiction as primarily a medical problem, and to make medical treatment of the addicted person the first priority in addressing addiction. Once addiction is viewed as a disability, different concerns are foregrounded. The problem of addiction resides not only in the addicted person, but also in the social environment in which the addicted person finds herself. The fundamental ethical question about addiction is not how addicted persons can be treated or otherwise changed, but how a just society can make reasonable accommodations for addicted persons. (shrink)

How do I live a good life, one that is deeply personal and sensitive to others? John T. Lysaker suggests that those who take this question seriously need to reexamine the work of Ralph Waldo Emerson. In philosophical reflections on topics such as genius, divinity, friendship, and reform, Lysaker explores "self-culture" or the attempt to remain true to one's deepest commitments. He argues that being true to ourselves requires recognition of our thoroughly dependent and relational nature. Lysaker guides readers (...) from simple self-absorption toward a more fulfilling and responsive engagement with the world. (shrink)

We give a general account of the goals of axiomatization, introducing a variant on Detlefsen’s notion of ‘complete descriptive axiomatization’. We describe how distinctions between the Greek and modern view of number, magnitude, and proportion impact the interpretation of Hilbert’s axiomatization of geometry. We argue, as did Hilbert, that Euclid’s propositions concerning polygons, area, and similar triangles are derivable from Hilbert’s first-order axioms. We argue that Hilbert’s axioms including continuity show much more than the geometrical propositions of Euclid’s theorems and (...) thus are an immodest complete descriptive axiomatization of that subject. (shrink)

We explore Shelah's model‐theoretic dividing line methodology. In particular, we discuss how problems in model theory motivated new techniques in model theory, for example classifying theories by their potential (consistently with Zermelo–Fraenkel set theory with the axiom of choice (ZFC)) spectrum of cardinals in which there is a universal model. Two other examples are the study (with Malliaris) of the Keisler order leading to a new ZFC result on cardinal invariants and attempts to clarify the “main gap” by reducing the (...) dependence of certain versions on (highly independent) cardinal arithmetic. (shrink)

This is the first part of a two-part article in which we defend the thesis of Humean Supervenience about Laws of Nature (HS). According to this thesis, two possible worlds cannot differ on what is a law of nature unless they also differ on the Humean base. The Humean base is easy to characterize intuitively, but there is no consensus on how, precisely, it should be defined. Here in Part I, we present and motivate a characteriza- tion of the Humean (...) base that, we argue, enables HS to capture what is really stake in the debate, without taking on extraneous commitments. (shrink)

In this paper we study abstract elementary classes of modules. We give several characterizations of when the class of modules A with is abstract elementary class with respect to the notion that M1 is a strong submodel M2 if the quotient remains in the given class.

Thesis: The exclusion of organized labor/management issues from the principal arenas for business ethics study and discussions needs to be remedied. The paper develops this thesis in three steps: 1) Exclusion: A careful examination of select textbooks, journals, and conferences provides evidence as to the virtual absence of unions and such crucial organized labor/management issues as labor organizing and collective bargaining; 2) Inclusion: A series of brief arguments favoring inclusion of these issues in business ethics based on the notion of (...) privileged institutions, adversarial posturing, the societal benefits, and globalization; 3) Suggestions: Some practical, cooperative initiatives involving the academy, management and labor, such as, labor officials as guest speakers and members of business school committees, internships in labor organizations, training workshops in business ethics for labor leaders, fora for joint management/labor discussions of issues each group faces in the economy and the legislatures. (shrink)

The existence of "undermining futures" appears to show that a contradiction can be deduced from the conjunction of Humean supervenience (HS) about chance and the Principal Principle. A number of strategies for rescuing HS from this problem have been proposed recently. In this paper, a novel way of defending HS from the threat is presented, and it is argued that this defense has advantages not shared by others. In particular, it requires no revisionism about chance, and it is equally available (...) to defenders of HS who hold HS to be necessary and those who hold it to be contingent. (shrink)

Subcreative sets, introduced by Blum, are known to coincide with the effectively speedable sets. Subcreative sets are shown to be the complete sets with respect to S-reducibility, a special case of Turing reducibility. Thus a set is effectively speedable exactly when it contains the solution to the halting problem in an easily decodable form. Several characterizations of subcreative sets are given, including the solution of an open problem of Blum, and are used to locate the subcreative sets with respect to (...) the complete sets of other reducibilities. It is shown that q-cylindrification is an order-preserving map from the r.e. T-degrees to the r.e. S-degrees. Consequently, T-complete sets are precisely the r.e. sets whose q-cylindrifications are S-complete. (shrink)

This book presents five controversial issues that stir conflicts about moral decisions in our time. John Chirban draws upon resources of specific faith traditions. He provides case discussion and considers numerous interdisciplinary perspectives, arguing an interdependent approach for addressing these current ethical issues.

Subcreative sets, introduced by Blum, are known to coincide with the effectively speedable sets. Subcreative sets are shown to be the complete sets with respect to S-reducibility, a special case of Turing reducibility. Thus a set is effectively speedable exactly when it contains the solution to the halting problem in an easily decodable form. Several characterizations of subcreative sets are given, including the solution of an open problem of Blum, and are used to locate the subcreative sets with respect to (...) the complete sets of other reducibilities. It is shown that q-cylindrification is an order-preserving map from the r.e. T-degrees to the r.e. S-degrees. Consequently, T-complete sets are precisely the r.e. sets whose q-cylindrifications are S-complete. (shrink)

I elaborate and defend an interpretation of Leibniz on which he is committed to a stronger space-time structure than so-called Leibnizian space-time, with absolute speeds grounded in his concept of force rather than in substantival space and time. I argue that this interpretation is well-motivated by Leibniz's mature writings, that it renders his views on space, time, motion, and force consistent with his metaphysics, and that it makes better sense of his replies to Clarke than does the standard interpretation. Further, (...) it illuminates the way in which Leibniz took his physics to be grounded in his metaphysics. (shrink)

Individualist and communitarian. Anarchist and totalitarian. Classicist and romanticist. Progressive and reactionary. Since the eighteenth century, Jean-Jacques Rousseau has been said to be all of these things. Few philosophers have been the subject of as much or as intense debate, yet almost everyone agrees that Rousseau is among the most important and influential thinkers in the history of political philosophy. This new edition of his major political writings, published in the year of the three-hundredth anniversary of his birth, renews attention (...) to the perennial importance of Rousseau’s work. The book brings together superb new translations by renowned Rousseau scholar John T. Scott of three of Rousseau’s works: the _Discourse on the Sciences and Arts,_ the _Discourse on the Origin and Foundations of Inequality Among Men, _and _On the Social Contract. _The two _Discourses_ show Rousseau developing his well-known conception of the natural goodness of man and the problems posed by life in society. With the _Social Contract, _Rousseau became the first major thinker to argue that democracy is the only legitimate form of political organization. Scott’s extensive introduction enhances our understanding of these foundational writings, providing background information, social and historical context, and guidance for interpreting the works. Throughout, translation and editorial notes clarify ideas and terms that might not be immediately familiar to most readers. The three works collected in _The Major Political Writings of Jean-Jacques Rousseau_ represent an important contribution to eighteenth-century political theory that has exerted an extensive influence on generations of thinkers, beginning with the leaders of the French Revolution and continuing to the present day. The new translations on offer here will be welcomed by a wide readership of both Rousseau scholars and readers with a general interest in political thought. (shrink)